1581. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
1582. Software engineering, business continuity, and education :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses.,Data recovery (Computer science), Congresses.,Management information systems, Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
A84
2011
1583. Software engineering methods in intelligent algorithms :
پدیدآورنده : Radek Silhavy, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Engineering, Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Engineering.
رده :
Q342
.
C66
2019
1584. Sorts and types in artificial intelligence
پدیدآورنده : K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
موضوع : Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
1585. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings
پدیدآورنده : K. H. Blasius, U. Hedtstuck, C.-R. Rollinger )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
418
1586. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده : K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
Q
334
.
S63
1990
1587. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
1588. Spatial cognition IV : reasoning, action, interaction : International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004 : revised selected papers
پدیدآورنده : Christian Freksa... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Knowledge representation )Information theory(,Congresses ، Space perception
رده :
QA
76
.
L28
Vol
.
3343
1589. Spatial cognition V: reasoning, action, interaction: international conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006 : revised selected papers
پدیدآورنده : Thomas Barkowsky...]et al.[ )eds.(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Knowledge representation )Information theory(,Congresses ، Space perception
رده :
Q
387
.
S733
2006
1590. Speech and Computer
پدیدآورنده : \ Andrey Ronzhin , Rodmonga Potapova, Nikos Fakotakis (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Artificial intelligence,Pattern perception,هوش مصنوعی,الگوشناسی ,a04,a05,a04,a05,Natural language processing (Computer science) -- Congresses.,پردازش زبان طبیعی -- کنگره‌ها
رده :
QA
76
.
9
.
S6
2015
E-Book
,
1591. Speech and Computer
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Database management -- Congresses,Information storage and retrieval systems -- Congresses,علوم کامپیوتر -- کنگره‌ها,پایگاه‌‌های اطلاعاتی -- مدیریت -- کنگره‌ها,ذخیره و بازیابی اطلاعات -- کنگره‌ها
رده :
E-Book
,
1592. Speech and computer :
پدیدآورنده : Miloš Železný, Ivan Habernal, Andrey Ronzhin (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Computer science, Congresses,Computer vision, Congresses,Database management, Congresses,Information storage and retrieval systems, Congresses,Optical pattern recognition, Congresses
رده :
QA75
.
5
.
I58
2013
1593. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Taisuke Izumi, Petr Kuznetsov (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
رده :
QA76
.
9
.
S54
1594. Statistical atlases and computational models of the heart :
پدیدآورنده : Mihaela Pop, Maxime Sermesant, Pierre-Marc Jodoin, Alain Lalande, Xiahai Zhuang, Guang Yang, Alistair Young, Olivier Bernard (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Heart-- Computer simulation, Congresses.,Heart-- Imaging, Congresses.,Image processing-- Digital techniques, Congresses.,Imaging systems in medicine, Congresses.,Three-dimensional imaging in medicine, Congresses.,Heart-- diagnostic imaging.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Heart-- Imaging.,Image processing-- Digital techniques.,Image processing.,Imaging systems in medicine.,Three-dimensional imaging in medicine.
رده :
RC683
.
5
.
I42
1595. Statistical language and speech processing :
پدیدآورنده : Laurent Besacier, Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Computational linguistics, Congresses,Mathematical linguistics, Congresses,Speech processing systems, Congresses,Artificial Intelligence (incl. Robotics),Computer Science,Data Mining and Knowledge Discovery
رده :
P98
1596. Statistical language and speech processing
پدیدآورنده : \ Adrian-Horia Dediu, Carlos Martín-Vide, Klára Vicsi (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Applied linguistics,زبان‌شناسی کاربردی, -- Congresses, -- کنگره‌ها,a03,a03,Speech processing systems -- Congresses.,گفتارپردازی -- کنگره ها
رده :
P
98
.
S28
2015
E-Book
,
1597. Statistical language and speech processing :
پدیدآورنده : Thierry Dutoit, Carlos Martín-Vide, Gueorgui Pironkov (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational linguistics, Congresses.,Speech processing systems, Congresses.,Artificial Intelligence.,Natural Language Processing (NLP).,Artificial intelligence.,Computational linguistics.,Computers-- Document Management.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Desktop publishing.,Natural language & machine translation.,Speech processing systems.
رده :
P98
1598. String processing and information retrieval :
پدیدآورنده : edited by Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)
رده :
QA76
.
9
.
T48
1599. Studies on speech production :
پدیدآورنده : Qiang Fang, Jianwu Dang, Pascal Perrier, Jianguo Wei, Longbiao Wang, Nan Yan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Speech processing systems, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Natural Language Processing (NLP).,Artificial intelligence.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Computers-- Online Services-- General.,Image processing.,Mathematical theory of computation.,Natural language & machine translation.,Speech processing systems.
رده :
TK7882
.
S65
1600. Swarm Intelligence :
پدیدآورنده : Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.
رده :
Q337
.
3
